compose::(int->int)->(int->int)->(int->int)
compose f g = (\x::int -> f (g x))

maint::int
maint =  ( (\x::int -> (x+2)) 'compose' (\x::int -> ((*x) 2 )) ) 5